next(tab)
== if ptr(tab) <z ||tab||  then inl <ptr(tab), st-atom(tab;ptr(tab))>  else inr   fi  

latex

Definitions	if b then t else f fi , i <z j, ||tab|| , st-atom(tab;n), ptr(tab),
FDL editor aliases	st-next